由约定 ,

当 时, , 从而得证.